home *** CD-ROM | disk | FTP | other *** search
/ Celestin Apprentice 5 / Apprentice-Release5.iso / Environments / SmallEiffel 0.3.3 / SmallEiffel 68k / lib_test / aux_rename3b.e < prev    next >
Encoding:
Text File  |  1996-06-13  |  448 b   |  34 lines  |  [TEXT/EDIT]
  1. class AUX_RENAME3B
  2.  
  3. inherit
  4.    AUX_RENAME3A
  5.       rename
  6.      nb_element as taille
  7.       end
  8.  
  9. creation make
  10.  
  11. feature
  12.  
  13.    make is
  14.       do
  15.      taille := 6;
  16.      if read_nb_element /= taille then
  17.         std_output.put_string("TEST_RENAME3: ERROR Test #1%N");
  18.      end;
  19.      if plein then
  20.         std_output.put_string("TEST_RENAME3: ERROR Test #2%N");
  21.      end;
  22.       end
  23.  
  24.    plein: BOOLEAN is
  25.       do 
  26.      Result := taille = 10;
  27.       end
  28.  
  29. invariant
  30.  
  31.    taille >= 0;
  32.  
  33. end
  34.